<!DOCTYPE html>
<html lang="en">
<head>
	<meta charset="utf-8">
	<meta http-equiv="X-UA-Compatible" content="IE=edge">
	<meta name="viewport" content="width=device-width, initial-scale=1">

	<title>svaunit
API Specification</title>

	<meta name="author" content="">
	<meta name="description" content="svaunit API Specification">
	<meta name="generator" content="Specador. Copyright (C) 2005-2015 AMIQ EDA ">
	<meta name="keywords" content="SystemVerilog, HTML Documentation, Specador, AMIQ EDA, svaunit API Specification">

	<link href="lib/bootstrap/css/bootstrap.css" rel="stylesheet">
	<link href="css/content.css" rel="stylesheet">
	<link href="css/custom.css" rel="stylesheet">
</head>
<body>

	<div class="container-fluid">

<!-- ========= Title ======= -->
<h2>interface     svaunit_vpi_interface
</h2>


<!-- ========= Top Buttons ======= -->
		<br>
		<div class="btn-group">
				
	
	
	
	
	
	
	
	
	
	
	
	<button data-scroll=#functions type="button" class="btn btn-default">Functions <span class="badge">35</span></button>
	
	
	
	

		</div>
		<br><br>

<!-- ========= Description ======= -->
	<pre class="comment">It contains communication API with VPI<br></pre>

<!-- ========= Parameters ======= -->

<!-- ========= Input Ports ======= -->

<!-- ========= Inout Ports ======= -->

<!-- ========= Output Ports ======= -->

<!-- ========= Interface Ports ======= -->

<!-- ========= Modports ======= -->

<!-- ========= Clocking Blocks ======= -->

<!-- ========= Variables ======= -->

<!-- ========= Functions ======= -->
	<div class="panel panel-default">
		<div class="panel-heading" data-toggle="collapse" data-target="#functions">
			<h4 class="panel-title">
					Functions <span class="glyphicon glyphicon-chevron-down"></span>
			</h4>
		</div>
					<ul id="functions" class="list-group panel-collapse collapse in">
					<li class="list-group-item">
						<a name="function_call_callback_dpi"></a>
						<span class="signature">

	 function 	void

	<b>		call_callback_dpi
</b>(	string
a_test_name)<b> import DPI-C</b>


						</span>
	<pre class="comment">DPI-C API to retrieve information about all callbacks<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_test_name</b> : the test name from which this function is called<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_control_assertion_dpi"></a>
						<span class="signature">

	 function 	void

	<b>		control_assertion_dpi
</b>(	string
a_sva_name,
	int
a_control_type,
	int
a_sys_time)<b> import DPI-C</b>


						</span>
	<pre class="comment">Control assertion using vpi_control function<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sva_name</b> : the assertion used to apply control action on<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_control_type</b> : the control action<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sys_time</b> : attempt time<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_create_assertion_dpi"></a>
						<span class="signature">

	 function 	void

	<b>		create_assertion_dpi
</b>(	string
a_sva_name,
	string
a_sva_path,
	string
a_sva_type)<b> export DPI-C</b>


						</span>
	<pre class="comment">Create SVA with a name and a type given<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sva_name</b> : SVA name to be created<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sva_type</b> : SVA type to be created
Create SVA with a name and a type given<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sva_name</b> : SVA name to be created<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sva_path</b> : the path to the SVA which needs to be created<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sva_type</b> : SVA type to be created<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_disable_all_assertions"></a>
						<span class="signature">

	 function 	void

	<b>		disable_all_assertions
</b>(	string
a_test_name)


						</span>
	<pre class="comment">Will disable the starting of any new attempt for all SVAs
(this will have no effect on any existing attempts or if SVA was already disable;
on default all SVAs are enable)<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_test_name</b> : the test name from which SVA were enabled and tested<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_disable_assertion"></a>
						<span class="signature">

	 function 	void

	<b>		disable_assertion
</b>(	string
a_test_name,
	<a href="svaunit_pkg-svaunit_concurrent_assertion_info.html">svaunit_concurrent_assertion_info</a>
a_sva)


						</span>
	<pre class="comment">Will disable the starting of any new attempt for a given SVA
(this will have no effect on any existing attempts or if SVA was already disable;
on default all SVAs are enable)<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_test_name</b> : the test name from which SVA were enabled and tested<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sva</b> : assertion which needs to be disabled<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_disable_step_all_assertions"></a>
						<span class="signature">

	 function 	void

	<b>		disable_step_all_assertions
</b>(	string
a_test_name)


						</span>
	<pre class="comment">Will disable step callback for all SVAs
(this will have no effect if step callback is not enabled or it was already disabled)<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_test_name</b> : the test name from which SVA were enabled and tested<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_disable_step_assertion"></a>
						<span class="signature">

	 function 	void

	<b>		disable_step_assertion
</b>(	string
a_test_name,
	<a href="svaunit_pkg-svaunit_concurrent_assertion_info.html">svaunit_concurrent_assertion_info</a>
a_sva)


						</span>
	<pre class="comment">Will disable step callback for a given SVA
(this will have no effect if step callback is not enabled or it was already disabled)<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_test_name</b> : the test name from which SVA were enabled and tested<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sva</b> : assertion which  needs to disable stepping for<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_enable_all_assertions"></a>
						<span class="signature">

	 function 	void

	<b>		enable_all_assertions
</b>(	string
a_test_name)


						</span>
	<pre class="comment">Will enable starting any new attempts for all SVAs
(this will have no effect id SVA was already enable or on any current attempt)<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_test_name</b> : the test name from which SVA were enabled and tested<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_enable_assertion"></a>
						<span class="signature">

	 function 	void

	<b>		enable_assertion
</b>(	string
a_test_name,
	<a href="svaunit_pkg-svaunit_concurrent_assertion_info.html">svaunit_concurrent_assertion_info</a>
a_sva)


						</span>
	<pre class="comment">Will enable starting any new attempts for a given SVA
(this will have no effect id SVA was already enable or on any current attempt)<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_test_name</b> : the test name from which SVA were enabled and tested<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sva</b> : assertion which  needs to be enabled<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_enable_step_all_assertions"></a>
						<span class="signature">

	 function 	void

	<b>		enable_step_all_assertions
</b>(	string
a_test_name)


						</span>
	<pre class="comment">Will enable step callback for all SVAs
(by default, stepping is disabled; this will have no effect if stepping was already enabled;
the stepping mode cannot be modified after the assertion attempt has started)<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_test_name</b> : the test name from which SVA were enabled and tested<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_enable_step_assertion"></a>
						<span class="signature">

	 function 	void

	<b>		enable_step_assertion
</b>(	string
a_test_name,
	<a href="svaunit_pkg-svaunit_concurrent_assertion_info.html">svaunit_concurrent_assertion_info</a>
a_sva)


						</span>
	<pre class="comment">Will enable step callback for a given SVA
(by default, stepping is disabled; this will have no effect if stepping was already enabled;
the stepping mode cannot be modified after the assertion attempt has started)<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_test_name</b> : the test name from which SVA were enabled and tested<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sva</b> : assertion which  needs to enable stepping for<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sva_name</b> : assertion name to enable stepping for<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_get_assertion_from_name"></a>
						<span class="signature">

	 function 	<a href="svaunit_pkg-svaunit_concurrent_assertion_info.html">svaunit_concurrent_assertion_info</a>

	<b>		get_assertion_from_name
</b>(	string
a_sva_name)


						</span>
	<pre class="comment">Get the SVA with the given name<br><br><b>Returns:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;the SVA with the given name<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sva_name</b> : SVA name to be found<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_get_assertion_from_path"></a>
						<span class="signature">

	 function 	<a href="svaunit_pkg-svaunit_concurrent_assertion_info.html">svaunit_concurrent_assertion_info</a>

	<b>		get_assertion_from_path
</b>(	string
a_sva_path)


						</span>
	<pre class="comment">Get the SVA with the given path<br><br><b>Returns:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;the SVA with the given path<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sva_path</b> : SVA path to be found<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_get_cover_statistics_dpi"></a>
						<span class="signature">

	 function 	void

	<b>		get_cover_statistics_dpi
</b>(			input 	string
a_cover_name,
			output 	int unsigned
a_nof_attempts_covered,
			output 	int unsigned
a_nof_attempts_succeeded_covered)<b> import DPI-C</b>


						</span>
	<pre class="comment">DPI-C API used to get SVA cover statistics - how many times this cover was triggered and how many times it failed<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_cover_name</b> : cover name to retrieve information about<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_nof_attempts_covered</b> : number of attempts this cover was triggered and it failed<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_nof_attempts_succeeded_covered</b> : number of attempts this cover was triggered and it succeeded<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_get_info_from_c"></a>
						<span class="signature">

	 function 	void

	<b>		get_info_from_c
</b>(	string
a_test_name)


						</span>
	<pre class="comment">Retrieve info about SVAs<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_test_name</b> : test name from where this function is called<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_get_nof_enabled_sva"></a>
						<span class="signature">

	 function 	int unsigned

	<b>		get_nof_enabled_sva
</b>(	string
a_test_name)


						</span>
	<pre class="comment">Computes how many SVAs are enabled during simulation<br><br><b>Returns:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;number of SVA which are enabled during simulation<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_test_name</b> : the test name from which SVA were enabled and tested<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_get_nof_sva"></a>
						<span class="signature">

	 function 	int unsigned

	<b>		get_nof_sva
</b>()


						</span>
	<pre class="comment">Get the total number of SVAs<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_get_nof_tested_sva"></a>
						<span class="signature">

	 function 	int unsigned

	<b>		get_nof_tested_sva
</b>(	string
a_test_name)


						</span>
	<pre class="comment">Computes how many SVAs were tested during simulation<br><br><b>Returns:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;number of SVA which were tested during simulation<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_test_name</b> : the test name from which SVA were enabled and tested<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_get_state_from_reason"></a>
						<span class="signature">

	 function 	<a href="svaunit_pkg-svaunit_concurrent_assertion_state_type.html">svaunit_concurrent_assertion_state_type</a>

	<b>		get_state_from_reason
</b>(	int
a_reason)


						</span>
	<pre class="comment">Get the state for an SVA according to a callback a_reason<br><br><b>Returns:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;a state of an SVA transformed from a callback reason<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_reason</b> : the integer to be transformed to a callback reason<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_kill_all_assertions"></a>
						<span class="signature">

	 function 	void

	<b>		kill_all_assertions
</b>(	string
a_test_name,
	time
a_sim_time)


						</span>
	<pre class="comment">Will discard any attempts of all SVAs
(the SVA will remain enabled and does not reset any state used by any SVA)<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_test_name</b> : the test name from which SVA were enabled and tested<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sim_time</b> : the time from which any attempt of a given SVA will be discarded<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_kill_assertion"></a>
						<span class="signature">

	 function 	void

	<b>		kill_assertion
</b>(	string
a_test_name,
	<a href="svaunit_pkg-svaunit_concurrent_assertion_info.html">svaunit_concurrent_assertion_info</a>
a_sva,
	time
a_sim_time)


						</span>
	<pre class="comment">Will discard any attempts of a given SVA
(the SVA will remain enabled and does not reset any state used by this SVA)<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_test_name</b> : the test name from which SVA were enabled and tested<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sva</b> : assertion which  needs to be killed<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sim_time</b> : the time from which any attempt of a given SVA will be discarded<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_pass_info_to_sv_dpi"></a>
						<span class="signature">

	 function 	void

	<b>		pass_info_to_sv_dpi
</b>(	string
a_test_name,
	string
a_sva_name,
	string
a_sva_path,
	string
a_sva_type,
	int
a_reason,
	int
a_callback_time,
	int
a_start_time)<b> export DPI-C</b>


						</span>
	<pre class="comment">VPI API to update a given SVA<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_test_name</b> : test name from where this function is called<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sva_name</b> : SVA name to be updated<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sva_type</b> : the type of the SVA to be updated<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_reason</b> : callback reason<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_start_time</b> : the start attempt for this SVA<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_callback_time</b> : the callback time for this SVA attempt
VPI API to update a given SVA<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_test_name</b> : test name from where this function is called<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sva_name</b> : SVA name to be updated<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sva_path</b> : path to the SVA<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sva_type</b> : the type of the SVA to be updated<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_reason</b> : callback reason<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_start_time</b> : the start attempt for this SVA<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_callback_time</b> : the callback time for this SVA attempt<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_register_assertions_dpi"></a>
						<span class="signature">

	 function 	void

	<b>		register_assertions_dpi
</b>()<b> import DPI-C</b>


						</span>
	<pre class="comment">DPI-C API used to find SVAs using VPI API<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_report_for_sva"></a>
						<span class="signature">

	 function 	string

	<b>		report_for_sva
</b>(	string
a_test_name,
	string
test_type)


						</span>
	<pre class="comment">Form the report status of SVA<br><br><b>Returns:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;the report status for all SVAs<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_test_name</b> : the test name from which SVA were enabled and tested<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_reset_all_assertions"></a>
						<span class="signature">

	 function 	void

	<b>		reset_all_assertions
</b>(	string
a_test_name)


						</span>
	<pre class="comment">Will discard all current attempts in progress for all SVAs and resets the SVAs to initial state<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_test_name</b> : the test name from which SVA were enabled and tested<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_reset_assertion"></a>
						<span class="signature">

	 function 	void

	<b>		reset_assertion
</b>(	string
a_test_name,
	<a href="svaunit_pkg-svaunit_concurrent_assertion_info.html">svaunit_concurrent_assertion_info</a>
a_sva)


						</span>
	<pre class="comment">Will discard all current attempts in progress for an SVA with a given name
and resets the SVA to its initial state<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_test_name</b> : the test name from which SVA were enabled and tested<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sva</b> : assertion which needs to be reseted<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_set_test_name"></a>
						<span class="signature">

	 function 	void

	<b>		set_test_name
</b>(	string
a_test_name)


						</span>
	<pre class="comment">Set test name in VPI interface<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_test_name</b> : the test name to be added inside VPI interface<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_set_test_name_to_vpi_dpi"></a>
						<span class="signature">

	 function 	void

	<b>		set_test_name_to_vpi_dpi
</b>(	string
a_test_name)<b> import DPI-C</b>


						</span>
	<pre class="comment">Set the current test name<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_test_name</b> : current test name to be updated<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_sva_exists"></a>
						<span class="signature">

	 function 	bit

	<b>		sva_exists
</b>(	string
a_sva_name,
	string
a_sva_path,
	<a href="svaunit_pkg-svaunit_concurrent_assertion_info.html">svaunit_concurrent_assertion_info</a> []
a_lof_sva)


						</span>
	<pre class="comment">Verify if an SVA assertion exists into SVA list<br><br><b>Returns:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;1 if given SVA exists into list and 0 otherwise<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sva_name</b> : the SVA to be found into list<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sva_path</b> : the path to the SVA which needs to be found into list<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_lof_sva</b> : the list of SVAs<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_system_end_all_assertions"></a>
						<span class="signature">

	 function 	void

	<b>		system_end_all_assertions
</b>(	string
a_test_name)


						</span>
	<pre class="comment">Will discard any attempt in progress and disable any SVA to be started
(all callbacks will be removed)<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_test_name</b> : the test name from which SVA were enabled and tested<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_system_off_all_assertions"></a>
						<span class="signature">

	 function 	void

	<b>		system_off_all_assertions
</b>(	string
a_test_name)


						</span>
	<pre class="comment">Will disable any SVA to being started and all current attempts will be considered as unterminated<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_test_name</b> : the test name from which SVA were enabled and tested<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_system_on_all_assertions"></a>
						<span class="signature">

	 function 	void

	<b>		system_on_all_assertions
</b>(	string
a_test_name)


						</span>
	<pre class="comment">Will restart the SVAs after it was stopped<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_test_name</b> : the test name from which SVA were enabled and tested<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_system_reset_all_assertions"></a>
						<span class="signature">

	 function 	void

	<b>		system_reset_all_assertions
</b>()


						</span>
	<pre class="comment">Will discard all attempts in progress for all SVAs and restore the entire assertion system to its initial state.
(The vpiAssertionStepSuccess and vpiAssertionStepFailure callbacks will be removed)<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_update_coverage"></a>
						<span class="signature">

	 function 	void

	<b>		update_coverage
</b>(	string
a_test_name)


						</span>
	<pre class="comment">Update SVA cover<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_test_name</b> : the test name from which SVA were enabled and tested<br></pre>

					</li>
					<li class="list-group-item">
						<a name="function_update_sva_from_c"></a>
						<span class="signature">

	 function 	void

	<b>		update_sva_from_c
</b>(	string
a_test_name,
	string
a_sva_name,
	string
a_sva_path,
	string
a_sva_type,
	int
a_reason,
	int
a_start_time,
	int
a_callback_time,
	<a href="svaunit_pkg-svaunit_concurrent_assertion_info.html">svaunit_concurrent_assertion_info</a> []
a_lof_sva)


						</span>
	<pre class="comment">Update SVA info according to a reason<br><br><b>Arguments:</b><br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_test_name</b> : test name from where this function is called<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sva_name</b> : SVA name to be updated<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sva_path</b> : the path to the SVA which need to be updated<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_sva_type</b> : the type of the SVA to be updated<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_reason</b> : callback reason<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_start_time</b> : the start attempt for this SVA<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_callback_time</b> : the callback time for this SVA attempt<br>&nbsp;&nbsp;&nbsp;&nbsp;<b>a_lof_sva</b> : the list of SVAs which contains the SVA to be updated<br></pre>

					</li>
			</ul>

	</div>

<!-- ========= Tasks ======= -->

<!-- ========= Concurrent Assertions ======= -->

<!-- ========= Procedural Assertions ======= -->

<!-- ========= Generated From ======= -->
		<hr>Generated from: <a href="../../sv/svaunit_vpi_interface.sv">svaunit_vpi_interface.sv</a>


	</div>

	<div class="footer">
		<hr><p class="text-center">Generated  on Fri Nov 20 17:10:32 EET 2015 using <a href="http://www.dvteclipse.com/" target="_new">Specador<sup>TM</sup></a> Version 15.1.32</p>
    </div>

	<script src="lib/jquery/js/jquery.js"></script>
	<script src="lib/jquery/js/jquery.scrollUp.js"></script>
	<script src="lib/bootstrap/js/bootstrap.js"></script>
	<script src="js/content.js"></script>
	<script src="js/custom.js"></script>

	</body>
</html>

